首页> 外文OA文献 >Introduction to the ISO specification language Lotos

【2h】

Introduction to the ISO specification language Lotos

机译：介绍IsO规范语言Lotos

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Tommaso Bolognesi;
展开▼
作者单位

展开▼
年度 1988
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. An Introduction to metric semantics: operational and denotational models for programming and specification languages [J] . van Breugel F. Theoretical computer science . 2001,第1a2期

机译：度量语义简介：用于编程和规范语言的操作模型和指称模型
2. FORMAL METHOD FOR AUTOMATED TRANSFORMATION OF LOTOS SPECIFICATIONS TO ESTELLE SPECIFICATIONS [J] . HAZEM EL-GENDY, NABIL EL-KADHI International journal of software engineering and knowledge engineering . 2005,第5期

机译：莲花规格自动转换为雌激素规格的正式方法
3. An introduction to the specification language SPEC [J] . Berzins V., Luqi IEEE Software . 1990,第2期

机译：规范语言SPEC简介
4. Prototyping of Lotos Specifications in Functional Languages [C] . Cunha, P.R.F., Ferraz, . 2001

机译：功能语言中的Lotos规范原型
5. From requirements to scenarios through specifications: A translation procedure from use case maps to LOTOS. [D] . Guan, Ruoshan. 2002

机译：从需求到方案再到规范：从用例映射到LOTOS的转换过程。
6. The Systems Biology Markup Language (SBML): Language Specification for Level 3 Version 2 Core Release 2 [O] . Michael Hucka, Frank T. Bergmann, Claudine Chaouiya, 2019

机译：系统生物学标记语言（SBML）：3级版本2核心发行版2的语言规范
7. Introduction to the ISO Specification Language LOTOS1 [O] . 2015

机译：IsO规范语言LOTOs1简介
8. Introduction of Standard Data Types into LOTOS. [R] . Storp, S. 1992

机译：将标准数据类型引入LOTOs。

代理获取

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号